#undef  CONFIG_IPMI_WATCHDOG
